DEF=a
EXT=a
TESTDIR=../tests
RESULTDIR=.
KOMPILE_BACKEND=haskell
KOMPILE_FLAGS=--syntax-module A
KPROVE_FLAGS=

include ../../../include/ktest.mak
